Proof That Losers Queue Exists